Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
291	Data MiningConference Guide 2nd International Conference on Big Data Analysis & Data Mining Add to Reading List Source URL: www.omicsgroup.com Language: English - Date: 2015-05-14 05:22:37 Data management Data analysis Big data Database theory Transaction processing San Antonio Data mining Technology Formal sciences Geography of Texas
292	Do you need sophisticated tools for data-based decision analysis? Lawrence Livermore can turn highly complex, multi-modal data sets into information that can be applied to actionable decisions, optimally deployed resourc Add to Reading List Source URL: data-analytics.llnl.gov Language: English - Date: 2014-10-17 13:15:59 University of California United States Department of Energy National Laboratories Ethology Battelle Memorial Institute Lawrence Livermore National Laboratory Livermore Valley Mathematical optimization Data mining Stochastic optimization Science Formal sciences Knowledge
293	Design of class hierarchies based on concept (Galois) lattices Design of class hierarchies based on concept (Galois) lattices Robert Godin1, Hafedh Mili1, Guy W. Mineau2, Rokia Missaoui1, Amina Arfi1, Thuy-Tien Chau1 Add to Reading List Source URL: intra.info.uqam.ca Language: English - Date: 2009-08-04 12:55:11 Structure Lie groups Algebraic groups Hierarchy Patterns Political culture Complete lattice Formal concept analysis Frame language Abstract algebra Mathematics Lattice theory
294	OGC Project Document TITLE: Big Data DWG Charter Author (s) Name: Peter Baumann Organization(s) Jacobs University Add to Reading List Source URL: external.opengis.org Language: English - Date: 2014-04-22 09:09:16 Science Data analysis Business intelligence Big data Data modeling Transaction processing Open Geospatial Consortium Peter Baumann Data mining Formal sciences Data management Technology
295	The Decision Management Manifesto An Introduction Decision Management is a powerful approach, increasingly used to adopt business rules and advanced analytic technology. The Manifesto lays out the key principles of the a Add to Reading List Source URL: www.decisionmanagementsolutions.com Language: English - Date: 2015-03-30 22:57:23 Management Statistics Information technology management Formal sciences Data analysis Decision support system Predictive analytics Infrastructure optimization Analytics Decision theory Business Business intelligence
296	DraftVital Signs Indicators Framework: Structure for Methods Development, Analysis, and Reporting This is the first report on our efforts to organize the indicators in a formal conceptual framework that is u Add to Reading List Source URL: gorgevitalsigns.org Language: English - Date: 2011-01-24 12:32:55 Environmentalism Sustainability Earth Sustainable development Environmental indicator Community indicators Environment Environmental economics Environmental social science
297	Effective Typestate Verification in the Presence of Aliasing STEPHEN J. FINK and ERAN YAHAV IBM T. J. Watson Research Center and NURIT DOR1 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-01-27 15:57:10 Logic in computer science Formal methods Formal verification Pointer analysis Shape analysis Pointer The Verifier Abstract interpretation IP Theoretical computer science Applied mathematics Static program analysis
298	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
299	International Journal of Engineering and Advanced Technology (IJEAT) ISSN: 2249 – 8958, Volume-1, Issue-1, October 2011 Temporal Data Mining: An Overview Mohd. Shahnawaz, Ashish Ranjan, Mohd Danish Add to Reading List Source URL: www.ijeat.org Language: English - Date: 2015-06-06 06:36:15 Science Machine learning Computational statistics Data analysis Formal sciences Sequence mining Association rule learning Cluster analysis GSP Algorithm Data mining Statistics Bioinformatics
300	Kinematic Analysis of a Space Mechanism—Rendezvous Simulator Add to Reading List Source URL: www.abhinavjournal.com Language: English - Date: 2014-01-30 00:14:54 Business intelligence Data analysis Formal sciences Data management Web mining Knowledge discovery Analytics Data warehouse SAS Statistics Science Data mining

UPDATE